00100 <A> ::= <B><C> =>[(APPEND(STK1)(STK0))] 00200 ::=<D>=> (D . A) 00250 <B> ::= <ID> =>(ID) <C> ::= <ID> =>(ID) 00300 END